Enhancing CIMOSA with Exception Handling
نویسندگان
چکیده
CIMOSA (Open System Architecture for CIM) [2], an architecture for the modelling of manufacturing applications, does not provide a facility for exception definition and handling. Exceptions, traditionally associated to programming language and operating systems, are necessary in all types of languages, including specification languages. Our contribution consists of the enhancement of the CIMOSA model with a complete facility and methodology for the specification of the system behaviour in case of exception.
منابع مشابه
Managing re-engineering with the CIMOSA architectural framework
The objective of this paper is to present an approach for re-engineering processes in manufacturing using the architectural framework CIMOSA. New market requirements demand new production strategies. Therefore, enterprises follow re-engineering processes and are faced with consequent integration problems. We investigated the re-engineering processes in three European enterprises that applied CI...
متن کاملEnhancing Decentralized MAS-Based Framework for Composite Web Services Orchestration and Exception Handling by Means of Mobile Agents Technology
Decentralized orchestration offers performance improvements in terms of increased throughput and scalability and lower response time. However, decentralized orchestration also brings additional complexity to the system, mainly, in terms of exception handling. The research presented in this paper is carried out on the basis of some previous work of the authors, including: decentralizing orchestr...
متن کاملAn Exception Handling Approach to Enhancing Consistency, Completeness and Correctness in Collaborative Requirements Capture
This paper describes C-ReCS, a WWW-based system for collaborative requirements capture that uses a generic knowledge-based approach to detecting and resolving the “exceptions” (i.e. different kinds of inconsistency, incompleteness and incorrectness) that can arise frequently in such settings.
متن کاملDesign Verification of Advanced Pipelined Machines
We have developed formal verification techniques for the high-level design of pipelined microprocessors. Our technique represents the instruction stream in such a way that pipeline properties, such as RAW hazards do not exist, can be directly expressed. This approach allows us to prove the correctness of the machine design incrementally, which reduces the computational cost of the verification....
متن کاملEnhancing ERP System with RFID: Logistic Process Integration and Exception Handling
Various contemporary information and communication technologies (ICT) have revolutionized the global computing environment. This impacts most companies, especially traditional stand-alone ERP systems are inadequate to handle the current requirements of logistics applications. This paper studies the integration of RFID and mobile technologies with web-enabled applications to an existing in-house...
متن کامل